Integer Programming: Logical Conditions With Binary Variables In Excel Solver